-
1 sentential calculus
-
2 sentential calculus
English-Russian dictionary of Information technology > sentential calculus
-
3 sentential calculus
English-Russian big medical dictionary > sentential calculus
-
4 sentential calculus
The English-Russian dictionary general scientific > sentential calculus
-
5 sentential calculus
Большой англо-русский и русско-английский словарь > sentential calculus
-
6 sentential calculus
Англо-русский словарь технических терминов > sentential calculus
-
7 sentential calculus
-
8 sentential calculus
Математика: исчисление высказываний, пропозициональное исчисление -
9 sentential calculus
English-Russian electronics dictionary > sentential calculus
-
10 sentential calculus
The New English-Russian Dictionary of Radio-electronics > sentential calculus
-
11 sentential calculus
English-Russian dictionary of computer science and programming > sentential calculus
-
12 sentential calculus
Англо-русский словарь нефтегазовой промышленности > sentential calculus
-
13 sentential calculus
English-Russian dictionary of terms that are used in computer games > sentential calculus
-
14 sentential calculus
исчисление высказываний, пропозициональное исчисление -
15 sentential calculus
English-Russian dictionary of computer science > sentential calculus
-
16 calculus
-
17 calculus
1) исчисление; дифференциальное исчисление; интегральное исчисление2) вычисление; вычисления•-
Boolean calculus
-
calculus of approximations
-
calculus of classes
-
calculus of enlargement
-
calculus of errors
-
calculus of finite differences
-
calculus of observations
-
calculus of residues
-
calculus of tensors
-
calculus of variations
-
correlation calculus
-
differential calculus
-
functional calculus
-
index calculus
-
integral calculus
-
matrix calculus
-
numerical calculus
-
operational calculus
-
predicate calculus
-
propositional calculus
-
relational calculus
-
sentential calculus
-
tensor calculus -
18 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
19 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
20 calculus
1) исчисление2) вычисление; вычисления•- calculus of approximations
- calculus of residues
- extended calculus
- functional calculus
- higher predicate calculus
- index calculus
- matrix calculus
- operational calculus
- predicate calculus
- predicative calculus
- propositional calculus
- relational calculus
- restricted predicate calculus
- sentential calculus
- situation calculusEnglish-Russian dictionary of computer science and programming > calculus
См. также в других словарях:
sentential calculus — noun Etymology: translation of German satzkalkül : propositional calculus * * * the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations… … Useful english dictionary
sentential calculus — the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements. Also called propositional calculus, sentential… … Universalium
sentential calculus — senten′tial cal′culus n. pho the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication Compare functional calculus Also called propositional calculus … From formal English to slang
sentential calculus — noun Date: 1937 propositional calculus … New Collegiate Dictionary
sentential calculus — /sɛnˌtɛnʃəl ˈkælkjələs/ (say sen.tenshuhl kalkyuhluhs) noun any symbolic systematic set of rules for joining or dividing sentences to form other sentences …
sentential function — A predicate may be thought of as a function from a single term to a sentence, and hence can be called a sentential function. Also, the truth functional connectives are occasionally thought of as functions from sentences to sentences, although… … Philosophy dictionary
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang